Danish formelle metoder for asynkrone systemer: перевод на другие языки